1. tt = ff \\[0ex]$\vdash$ $\uparrow$($\neg_{b}$tt)